Olympische Sommerspiele 1952/Portugal op de Olympische Zomerspelen 1952